Transaction Scripts: Making Implicit Scenarios Explicit
نویسندگان
چکیده
منابع مشابه
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have described how interactions specified in a scenario can be translated into a tuples-based behavioural description, namely vector languages. In this paper we show how reasoning against order-theoretic properties of such ...
متن کاملMaking Implicit Parameters Explicit
In almost all languages all arguments to functions are to be given explicitly. The Haskell class system however is an exception: functions can have class predicates as part of their type signature, and dictionaries are implicitly constructed and implicitly passed for such predicates, thus relieving the programmer from a lot of clerical work and removing clutter from the program text. Unfortunat...
متن کاملAcademic Publishing: Making the Implicit Explicit
For doctoral students, publishing in peer-reviewed journals is a task many face with anxiety and trepidation. The world of publishing, from choosing a journal, negotiating with editors and navigating reviewers’ responses is a bewildering place. Looking in from the outside, it seems that successful and productive academic writers have knowledge that is inaccessible to novice scholars. While ther...
متن کاملMaking Explicit Some Implicit i* Language Decisions
The i* (i-star) framework is one of the most widely adopted modelling approaches by several communities (business modelling, requirements engineering, ...). Probably due to its highly strategic nature, the definition of the modelling language offered by the framework does not make explicit the full behaviour of some basic constructs, leaving them thus open to several interpretations. This loose...
متن کاملKnowledge Annotation: Making Implicit Knowledge Explicit
Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored? Now, we will show you the new habit that, actually it's a very old habit to do that can make your life more qualified. When feeling bored of always chatting with your friends all free time, you can find the book enPDF knowledge annotation making implicit knowledge expli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2010
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2010.06.005